use the definition of linear independence